#ifndef _RTOS_CONFIG_H_
#define _RTOS_CONFIG_H_ 	

/**
 * \file config.h
 * \author Clecio Varjao and Leanne Ross
 * \date October 2007
 * \brief Configuration file
 */


	#define KERNEL_DEBUG		1			//!< Enable Kernel Debug
	//#define TIMER_DEBUG 		1			//!< Enable Timer Debug
	//#define MALLOC_ANALYSIS	1			//!< Enable MALLOC Anaylsis

	#ifdef KERNEL_DEBUG
		#define F_CPU 4000000UL  	// 4 MHz
		#define PROCESSOR_SPEED		4
		#define MAX_RR_TICKS		20
		#define TIMER_FACTOR		20
		#define DISABLE_DELAY		1
	#else
		#define F_CPU 		8000000UL
		#define PROCESSOR_SPEED		8 	//!< Processor Speed
		#define MAX_RR_TICKS		20	//!< Max ticks a RR task can execute
		#define TIMER_FACTOR		40	//!< How often the timer ISR will be called
		//#define DISABLE_DELAY 1		//!< Disable Delays
	#endif

#endif /* _RTOS_CONFIG_H_ */
